Update main menu for previous buffers.texi change
authorGlenn Morris <rgm@gnu.org>
Fri, 29 Nov 2013 19:55:31 +0000 (11:55 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 29 Nov 2013 19:55:31 +0000 (11:55 -0800)
commit89c5cebc0bfd3a802c28eeb1c6c1099308365822
tree95e4953167c0c08fec13383b77e512b06a933bf9
parentc11ee5463b3c98ca43f62fe01119b9c1a3d7470c
Update main menu for previous buffers.texi change
doc/emacs/emacs.texi